(0 18 16)(1 7 5)(2 9 4)(3 20 11)(6 14 8)(10 19 12)(13 17 15)
ALLOWS (11/8)-SEQUENCE
1: (11 17 20)
(0 18 16)(1 7 5)(2 9 4)(3 20 15 13 17)(6 14 8)(10 19 12)(11)
2: (10 19 12)
(0 18 16)(1 7 5)(2 9 4)(3 20 15 13 17)(6 14 8)(10)(11)(12)(19)
3: (0 18 16)
(0)(1 7 5)(2 9 4)(3 20 15 13 17)(6 14 8)(10)(11)(12)(16)(18)(19)
4: (3 20 15)
(0)(1 7 5)(2 9 4)(3 13 17)(6 14 8)(10)(11)(12)(15)(16)(18)(19)(20)